Expressive Exceptions for Safe Pervasive Spaces
نویسندگان
چکیده
منابع مشابه
Expressive Exceptions for Safe Pervasive Spaces
Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting, and handling complex exceptions. This is because the possible erroneous conditions in pervasive systems are more complicated than conditions found in traditional applications. We devised a novel exception description and detection mechanism based on “situation”a novel extensio...
متن کاملSafe Asynchronous Exceptions for Python
We demonstrate that the Python programming language is not signal-safe, due to Python’s support for raising exceptions from signal handlers. We examine the approaches that various languages have used when dealing with the combination of asynchrony and exception handling, and propose a modification of the Python language that restores signal safety.
متن کاملMarco: Safe, Expressive Macros for Any Language
Macros improve expressiveness, concision, abstraction, and language interoperability without changing the programming language itself. They are indispensable for building increasingly prevalent multilingual applications. Unfortunately, existing macro systems are wellencapsulated but unsafe (e.g., the C preprocessor) or are safe but tightlyintegrated with the language implementation (e.g., Schem...
متن کاملSafe locking for multi-threaded Java with exceptions
There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexical lock primitives on re-entrant locks. These operators may lead to runtime errors and unwanted behavior; e.g., taking a lock without releasing it, ...
متن کاملProgramming Pervasive Spaces
ike it or not, tens of billions of lines of Cobol code are still in use today. Invented in 1959 by a group of computer professionals, Cobol empowered developers worldwide to program the mainframe and create applications still in existence today. Undoubtedly, Cobol owes much of its success to its standardization , which started with the American National Standard in 1968. Yet these days, standar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Processing Systems
سال: 2012
ISSN: 1976-913X
DOI: 10.3745/jips.2012.8.2.279